highorder predicate logic
n.高阶谓词逻辑
热门查询
- work of art n. 艺术品；（绘画、雕塑等）艺术作品；令人赏心悦目的东西；精致的物品 [网络] 创造艺术；美术作品；艺术珍品
- billows n. 巨浪 vi. 翻腾 vt. 使翻腾 n. (Billow)人名；(瑞典)比洛
- copperhead n. 南北战争时同情南方的北方人；铜头蛇
- Ipswich n. 伊普斯威奇（英格兰东部一城市）
- grinch n. 令人扫兴的人，败兴者
- typing n. 打字；键入 v. 打字；按类型把…归类（type的现在分词）
- agenda n. 议程；日常工作事项；日程表
- materialize vt. 使具体化，使有形；使突然出现；使重物质而轻精神 vi. 实现，成形；突然出现
- wet n. 雨天；湿气 adj. [气象][物] 潮湿的；有雨的 vt. 弄湿 vi. 变湿 n. (Wet)人名；(英、纳米、南非)韦特
- handful n. 少数；一把；棘手事
- excepting conj. 只是，要不是 prep. 除…之外
- floundering n. 挣扎 adj. 挣扎的 v. 挣扎（flounder的ing形式）
- raman 拉曼 （姓氏； Sir Chandrasekhara Venkata, 1888-1970，印度物理学家，曾获1930年诺贝尔物理学奖）
- slaying v. 杀戮（slay的ing形式）
- boyishness n. 少年 孩子气；幼稚
- hydropower n. 水力发出的电力；水力发电
- crossword n. 纵横字谜；纵横填字谜（等于cross puzzle）
- vegetation n. 植被；植物，草木；呆板单调的生活
- contending adj. 争先的 v. 奋斗（contend的ing形式）
- phenotypic adj. 表型的
考试词汇表
- cerebral respiration
- cerebral sense organ
- cerebral trichinosis
- cerebral vasodilator
- cerebro-spinal fluid
- cerebrospinal artery
- cerebrospinal center
- cerebrospinal fevers
- cerebrospinal fluids
- cerebrospinal liquor
- cerebrospinal system
- ceremonial occasions
- ceresium subuniforme
- cerevisiae fermentum
- ceriagrion melanurum
- ceric hydrophosphate
- ceric hydroxynitrate
- ceric sulfate method
- cerimetric titration
- cerini type dialyzer
